MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction

Search: ^a

Education/MapiFc Web Changed Changed by
Assessment0708 27 Sep 2008 - 11:44 - r18 JoseBacelarAlmeida
Final Grades Nome Part I Part II Part III Final Andreia Sofia da Costa Teixeira 16 16 16 16 Arif Rahman 10 14 14 13 Daniela ...
Assessment0809 07 Dec 2010 - 22:42 - r14 JoseBacelarAlmeida
Assessment Part I Write and present a short report in one of the topics. Bibliography. Formulae as types as a notion of control Groups: 1. Bruno Oliveira and ...
Assessment0910 07 Dec 2010 - 17:02 - NEW JorgeSousaPinto
Assessment Part I Paper reading and presentations Part II Home assessment: December 13 to December 27 Part III JorgeSousaPinto 07 Dec 2010
Found 3 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM